181. Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998
پدیدآورنده : edited by Samuel R. Buss, Petr Hajek, Pavel Pudlak
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
13
182. Logic Colloquium '98: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1
.
L64
1998
183. Logic Colloquium'95 : proceedings of the Annual European SummerMeeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995
پدیدآورنده : Johann A. Makowsky, Elena V. Ravve )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
11
184. Logic Colloquium'84 : proceedings of the Colloquium held in Manchester, U.K., July 1984
پدیدآورنده : editors, J.B. Paris, A.J. Wilkie, G.M. Wilmers
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L63
1984
185. Logic Colloquium'85 : proceedings of the Colloquium held in Orsay, France, July 1985
پدیدآورنده : edited by the Paris Logic Group
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L63
1985
186. Logic Colloquium'88 : proceedings of the Colloquium held in Padova, Italy, August 22-31, 1988
پدیدآورنده : edited by R. Ferro...]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L63
1988
187. Logic Colloquium : proceedings of the Summer School and Colloquium in Mathematical Logic
پدیدآورنده :
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1
L63
188. Logic Colloquium'90: proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Helsinki, Finland, July 15-22, 1990
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1
.
L63a
1990
189. Logic Colloquium'87 : proceedings of the colloqium held in Granada, Spin July 20-25, 1987
پدیدآورنده : edited by H.D. Ebbinghaus...]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L63
1987
190. Logic Colloquium '87: proceedings of the colloquium held in Granada, Spain, July 20-25, 1987
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory
رده :
QA
9
.
A1
.
L63
1987
191. Logic Colloquium '73 : proceedings of the logic Colloquium ,Bristol,July 1973
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic, Symbolic and mathematical-- Congresses
رده :
QA
9
.
A1
.
L63
1973
192. Logic Colloquium'86 : proceedings of thjje Colloquium held in Hull, U.K., July 13-19, 1986
پدیدآورنده : edited by F.R. Drake and J.K. Truss
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L63
1986
193. Logic Colloquium :symposium on logic Held at Boston, 1972-73
پدیدآورنده :
موضوع : Congresses ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
194. Logic, Methodology, And Philosophy Of Science, VII.: Proceedings Of The Seventh International Congress Of Logic, Methodology , And Philosophy Of Science, Salzburg, 1983
پدیدآورنده : / Edited By Ruth Barcan Marcus, Georg J. W. Dorn, Paul Weingartner
کتابخانه: (طهران)
موضوع : Science -- Philosophy -- Congresses.,Science -- Methodology -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,علوم -- فلسفه -- کنگره ها,علوم -- روش‌شناسی -- کنگره ها,منطق ریاضی-- کنگره‌ها
رده :
Q
174
.
I5P4
195. Logic, Methodology, and Philosophy: proceeding
پدیدآورنده : Edited by Yehoshua Bar-Hillel
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (طهران)
موضوع : Logic, Symbolic and mathematical-Congresses,Science-Methodology-Congresses,Science-Philosopy-Congresses
رده :
BC
135
.
I52
1964
196. Logic, Rationality, and Interaction
پدیدآورنده : \ Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical -- Congresses. ,Information theory -- Congresses. ,منطق ریاضی -- کنگره‌ها
رده :
Q360
.
L67
2015
E-Book
,
197. Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
پدیدآورنده : Logic Symposia, )9791, Hakone-machi, Japan(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
1
.
L4
v
.
891
198. Logic Symposia, Hakone, 1979, 1980: proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
پدیدآورنده :
موضوع : Congresses ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
199. Logic and Its Applications
پدیدآورنده : \ Mohua Banerjee, Shankara Narayanan Krishna (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical -- Congresses.,منطق ریاضی-- کنگره‌ها
رده :
QA
9
.
L6
2015
E-Book
,
200. Logic and argumentation :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical ; Congresses. ;
